Formalisation des contrats structurels et de QdS d’une composition de services Web

Etablir et s’assurer de la qualité de service (QdS) d’un composant tel qu’un service Web représente un enjeu crucial puisque ceci permet d’établir une relation de confiance entre le fournisseur d’un service et un client en attente d’une certaine fiabilité. Cependant, contrairement aux spécifications bien établies dans le domaine fonctionnel des services Web (telles que WSDL, SOAP ou UDDI), il n’existe pas de standards officiellement reconnus par la communauté en ce qui concerne la description et l’établissement de propriétés de QdS. Pour autant, plusieurs travaux visent à apporter des réponses à cette lacune par le biais des contrats de service (SLA : Service Level Agreement) dont l’objectif est de permettre la réalisation d’un accord entre consommateur et fournisseur de service portant sur le niveau de QdS que doit fournir le service. L’objectif du travail présenté est de proposer un style architectural pour permettre la vérification formelle des contrats structurels et des contrats de QdS d’une composition de services Web avec l’ADL ACME. Pour se faire, nous modélisons en premier lieu le méta-modèle d’un service Web décrivant les aspects structurels et ceux de QdS. Puis, nous spécifions les propriétés et les contraintes non fonctionnelles avec CQML et WSLA. Enfin, nous formalisons les deux contrats de qualité de service, CQML et WSLA, avec ACME en se référant à ARMANI qui fournit un langage de prédicats assez puissant pour assurer formellement une composition fiable de Services Web.